Comparing Transition Systems with Independenceand Asynchronous Transition
نویسندگان
چکیده
Transition systems with independence and asynchronous transition systems are noninterleaving models for concurrency arising from the same simple idea of decorating transitions with events. They diier for the choice of a derived versus a primitive notion of event which induces considerable diierences and makes the two models suitable for diierent purposes. This opens the problem of investigating their mutual relationships , to which this paper gives a fully comprehensive answer. In details, we characterise the category of extensional asynchronous transitions systems as the largest full subcategory of the category of (labelled) asynchronous transition systems which admits TSI, the category of transition systems with independence, as a coreeective subcategory. In addition , we introduce event-maximal asynchronous transitions systems and we show that their category is equivalent to TSI, so providing an exhaustive characterisation of transition systems with independence in terms of asynchronous transition systems.
منابع مشابه
Comparing Transition Systems with Independence and Asynchronous Transition Systems
Transition systems with independence and asynchronous transition systems are noninterleaving models for concurrency arising from the same simple idea of decorating transitions with events. They differ for the choice of a derived versus a primitive notion of event which induces considerable differences and makes the two models suitable for different purposes. This opens the problem of investigat...
متن کاملOutput-Conductance Transition-Free Method for Improving Radio-Frequency Linearity of SOI MOSFET Circuits
In this article, a novel concept is introduced to improve the radio frequency (RF) linearity of partially-depleted (PD) silicon-on-insulator (SOI) MOSFET circuits. The transition due to the non-zero body resistance (RBody) in output conductance of PD SOI devices leads to linearity degradation. A relation for RBody is defined to eliminate the transition and a method to obtain transition-free c...
متن کاملCubical Sets are Generalized Transition Systems
We show in this article that \labelled" cubical sets (or Higher-Dimensional Automata) are a natural generalization of transition systems and asynchronous transition systems. This generalizes an older result of 14] which was only holding with precubical sets and subcat-egories of the classical (see 29]) categories of transition systems and asynchronous transition systems. This opens up new promi...
متن کاملTransition systems with independence and multi-arcs
We extend the model of transition systems with independence in order to provide it with a feature relevant in the noninterleaving analysis of concurrent systems, namely multi-arcs. Moreover, we study the relationships between the category of transition systems with independence and multi-arcs and the category of labeled asynchronous transition systems, extending the results recently obtained by...
متن کاملUniversit at Augsburg Concurrent Implementation of Asynchronous Transition Systems Concurrent Implementation of Asynchronous Transition Systems
The synthesis problem is to decide for a deterministic transition system whether a Petri net with an isomorphic reachability graph exists and in case to nd such a net (which must have the arc-labels of the transition system as transitions). In this paper, we weaken isomorphism to some form of bisimilarity that also takes concurrency into account and we consider safe nets that may have additiona...
متن کامل